(declare-fun a () Int)
(declare-fun b () Int)
(declare-fun c () Int)
(declare-fun d () Int)
(declare-fun e () Int)
(assert (= d b))
(assert (<= e a))
(assert (= c a))
(check-sat)
